html, body { margin: 0; padding: 0; background-color: #000033; }
body { font-family: arial, sans-serif; font-size: 76%;
       text-align: center; margin-top: 1em; }

code { font-size: 125%; }

pre { font-size: 125%; }

div#container { width: 50em; margin: 0 auto; text-align: left;
                border: 2px solid #000000; background-color:#ffffff; }

h1, h2 { margin: 0; padding: 0; }

h1 { padding-left:0.5em; font: bold 2.3em/80px arial, serif; }

h2 { color: #000077; font-size: 1.5em; }

div#header { background-color: #aaaaaa; color: #000000; text-align: center;
             border-bottom: dotted 1px; }

div#content { padding: 1em; }
div#content a { color:#000077; text-decoration: underline; }
div#content a:hover { color: #0000ee; text-decoration: none; }

div#footer { text-align:center; padding: 0.5em; background-color: #aaaaaa;
             color: #000000; border-top: dotted 1px; }
div#footer a { color: #000000; text-decoration: underline; }
div#footer a:hover {color: #000077; text-decoration:none; }
div#footer a:hover#linktothispage { color: #000077;
                                    text-decoration: underline;}
div#footer a#linktothispage { color: #000000; text-decoration: none; }